GhostAR: A time-space editor for embodied authoring of human-robot collaborative task with augmented reality